Extending temporal simulations

Extending Statecharts with Temporal Logic

The task of designing large real-time reactive systems, which interact continuously with their environment and exhibit concurrency properties, is a challenging one. In this paper, we explore the utility of a combination of behavior and function specification languages in specifying such systems and verifying their properties. An existing specification language, statecharts, is used to specify t...

Extending the timescale in atomically detailed simulations

Extending INSPIRE Metadata to imperfect temporal descriptions

When looking for geodata in a Spatial Data Infrastructure (SDI), the user expresses precise selection conditions on the values of metadata in discovery services. In order to obtain a list of results, corresponding values of metadata must exactly match such conditions. This practice suffers from several drawbacks. First of all, with respect to the temporal characterization, available recommendat...

Extending the Temporal Horizon of Autonomous Robots

We introduce mathematically rigorous metrics on agent experiences having various temporal horizons. Sensorimotor variables accessible to the agent are treated as information-theoretic sources modelled as random variables. The time series from the sensorimotor variables over a given temporal region for different behavioural contexts ground an agent-based view of the agent’s own experiences, and ...

Extending Ina Jo with Temporal Logic

-Toward the overall goal of putting formal specifications to work has concentrated on describing only functional bepractical usein the design oflargesystems, we explore the combination havior, however. Specifying other properties, such as of two specification methods: using temporal logic to specify concurrency properties and using an existing specification language, Ina Jo TM, concurrency, rel...